nested quantifier

visit shbcf.ru